The Tatami System Design and its Motivation
نویسنده
چکیده
Joseph A. Goguen Dept. Computer Science & Engineering University of California at San Diego, La Jolla CA 92093-0114
منابع مشابه
Web-based Support for Cooperative Software Engineering1
The Tatami project is building a system to support software engineering over the internet, exploiting recent advances in web technology, interface design, and specification. Our effort to improve the usability of such systems has led us into algebraic semiotics, while our effort to develop better formal methods for distributed concurrent systems has led us into hidden algebra and fuzzy logic. T...
متن کاملWeb-based Multimedia Support for Distributed Cooperative Software Engineering1
The Tatami project is building a system to support software engineering over the internet, exploiting recent advances in web technology, interface design, and specification. Our effort to improve the usability of such systems led us into algebraic semiotics, while our effort to develop better formal methods for distributed concurrent systems led us into hidden algebra. We discuss the Tatami sys...
متن کاملWeb-based Multimedia Support for Distributed Cooperative Software Engineering
The Tatami project is building a system to support software engineering over the internet, exploiting recent advances in web technology, interface design, and specification. Our effort to improve the usability of such systems led us into algebraic semiotics, while our effort to develop better formal methods for distributed concurrent systems led us into hidden algebra. We discuss the Tatami sys...
متن کاملMonomer-Dimer Tatami Tilings of Rectangular Regions
In this paper we consider tilings of rectangular regions with two types of tiles, 1× 2 tiles (dimers) and 1× 1 tiles (monomers). The tiles must cover the region and satisfy the constraint that no four corners of the tiles meet; such tilings are called tatami tilings. We provide a structural characterization and use it to prove that the tiling is completely determined by the tiles that are on it...
متن کاملThe Value Internalization Model in Architectural Education Design, Application, and Test of a Model for Students' Affective Development in the Design Studio
The mismatches between the sensitivities, interests, attitudes, and values of an architecture instructor and the students regarding valuable and noteworthy elements of a design situation have always been encountered in architectural education. Specifically, as long as noteworthy elements from an instructor’s point of view are not internalized in students’ value system, there will be no belief...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2007